Efaul Ositiona Ic *
نویسندگان
چکیده
We present a mapping from a class of default theories to sentences in propositional logic, such that each model of the latter corresponds to an extension of the former. Using this mapping we show that many properties of default theories can be determined by solving propositional.satisfiability. In particular, we show how CSP techniques can be used to identify, analyze and solve tractable subsets of Reiter’s default logic.
منابع مشابه
(IC)LM-FUZZY TOPOLOGICAL SPACES
The aim of the present paper is to define and study (IC)$LM$-fuzzytopological spaces, a generalization of (weakly) induced $LM$-fuzzytopological spaces. We discuss the basic properties of(IC)$LM$-fuzzy topological spaces, and introduce the notions ofinterior (IC)-fication and exterior (IC)-fication of $LM$-fuzzytopologies and prove that {bf ICLM-FTop} (the category of(IC)$LM$-fuzzy topological ...
متن کاملInformation commons: future of academic libraries
Background and Aim: This paper seeks to explore the concepts of the information commons (IC). The paper provides a look at the models and characteristics of the IC. A number of projects of the IC are presented. We will discuss the situation of an existing traditional library. It makes recommendations for converting an existing library space into an IC. A number of Challenges of implementation o...
متن کاملکاربرد سیتولوژی ایمپرشن در تشخیص ضایعات ملانوسیتی سطح چشم
هدف: توصیف نتایج حاصل از سیتولوژی ایمپرشن (Impression Cytology, IC) در ضایعات ملانوسیتی سطح چشم که به صورت بالینی تشخیص داده شده‌اند. روش پژوهش: سیتولوژی ایمپرشن (IC) برای ۱۸ بیمار با تشخیص بالینی ضایعه ملانوسیتی سطحی چشم با استفاده از کاغذ فیلتراستات سلولزی و رنگ آمیزی Periodic acid Schiff-Papanicolau صورت گرفت. در موارد وجود سلول‌های آتیپیک در IC و یا درخواست بیمار، بیوپسی اکسیژنال از ضایعات...
متن کاملتهیه و ارزیابی ویژگیهای نانوذرات پلی‌لاکتیک-کو-گلیکولیک اسید حامل عصاره سلول توموری و Poly-IC و بررسی اثرات ضد توموری آن در مدل موشی سرطان پستان
Background & Aims: Cancer immunotherapy, despite its many benefits, faces major challenges. Nanoparticles are drug delivery systems that may address these challenges. The goal of this study was to produce the tumor cell lysate and Poly-IC loaded nanoparticles with desirable properties and evaluation of their therapeutic effects in mouse model of breast cancer. Materials & Methods: Nanoparticle...
متن کاملThe effect of Intellectual capital on hotels’ financial performance
Intellectual capital (IC) is organizational intangible asset which is frequently associated with performance. IC is commonly categorized into three core components: human capital, structural capital and relational capital. This study takes a step further in the evolution of the IC model for the hotel industry and divides relationship capital into two categories: End customer- relationship capit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999